|
Your search returned 6 records. Click on the hyperlinks to view further details of Titles.. |
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1993 Volume number : 19 Issue: 05 |
An Empirical Study Of Evaluating Software Development Environment Quality
(Article)
Subject:
Evaluation Techniques
,
Formal Specification
,
Software Quality In Power Applications
Author:
T
Miyoshi
Motoei
Azuma
page:
425
-
435
Using Transformations In Specification-Based Prototyping
(Article)
Subject:
Software Evolution
,
Software Prototyping
,
Program Transformations
Author:
Valdis
Berzins
Amiram
Yehudi
Amiram
Yehudai
page:
436
-
452
Compositional Semantics Of A Real-Time Prototyping Language
(Article)
Subject:
Algebraic High-Level Petri Nets
,
Specification And Design
,
Time Constant
Author:
Bernd
Kramer
Valdis
Berzins
page:
453
-
477
Extending Typestate Checking Using Conditional Liveness Analysis
(Article)
Subject:
Conditioning
,
Dataflow Analysis
,
Program Correctness
Author:
Robert E,
Strom
Daniel M.
Yellin
page:
478
-
485
Lispack-A Methodology And Tool For The Performance Analysis Of Parallel Systems And Algorithms
(Article)
Subject:
Large Markov Chains
,
Symbolic Approach
,
Stationary Probabilities
Author:
Giuseppe
Lazeolla
Francesco
Marinuzzi
page:
486
-
502
Formal Derivation Of Concurrent Programs An Example From Industry
(Article)
Subject:
Concurrency
,
Formal Specification
,
Unity Pf
Author:
Mark
Staskauskas
page:
503
-
528
|
|
| | |